Boolean model - PDFSEARCH.IO - Document Search Engine

Boolean model
Results: 352

#	Item
131	A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. I. The Two-Level Case. Calogero G. Zarba () LORIA and INRIA-Lorraine 615, rue du Jardin Botan Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 12:40:27 Logic in computer science Model theory Boolean algebra Boolean satisfiability problem Electronic design automation Interpretation Symbol Function Mathematics Theoretical computer science Mathematical logic
132	in Artificial Life VIII, Standish, Abbass, Bedau (eds)(MIT Presspp 28–32 1 Do Artificial Ants March in Step? Ordered Asynchronous Processes and Modularity in Biological Systems Add to Reading List Source URL: alife8.alife.org Language: English - Date: 2013-01-14 08:20:21 Science Boolean network Electrical circuits Cellular automaton Asynchrony Actor model Asynchronous system Mathematical and theoretical biology Cellular automata Synchronization Asynchronous cellular automaton
133	Fall 2008 CMPT 310: Introduction to Artificial Intelligence Instructor: Greg Mori Assignment 3: Logic Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2008-10-03 19:20:29 Model theory Boolean algebra Propositional calculus First-order logic If and only if Logic Mathematical logic Mathematics
134	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) PSpace Tableau Algorithms for Acyclic Modalized ALC Jia Tao · Giora Slutzki · Vasant Honavar Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2011-06-14 00:05:06 Model theory Philosophical logic Automated theorem proving Method of analytic tableaux Abox Structure Boolean satisfiability problem PSPACE-complete Modal logic Theoretical computer science Mathematical logic Mathematics
135	Quantum boolean functions Ashley Montanaro1 and Tobias Osborne2 1 Department of Computer Science University of Bristol Add to Reading List Source URL: www.damtp.cam.ac.uk Language: English - Date: 2008-12-02 21:52:10 Boolean algebra Computational complexity theory Joseph Fourier Integral transforms Circuit complexity Boolean function Parity function Decision tree model Fourier transform Theoretical computer science Applied mathematics Mathematics
136	Formalization and Comparison of MCDC and Object Branch Coverage Criteria Cyrille Comar, Jerome Guitton, Olivier Hainque, Thomas Quinot AdaCore, 46 rue d’Amsterdam, FPARIS (France) {comar, guitton, hainque, quino Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-18 14:24:37 Binary decision diagram Model checking Software metrics Software engineering Modified condition/decision coverage Code coverage Mathematics Formal methods Software testing Boolean algebra Diagrams
137	The AltaRica 3.0 project for Model-Based Safety Assessment DCDS2013 York, England, September 4-6, 2013 Tatiana PROSVIRNOVA, Michel BATTEUX, Pierre-Antoine BRAMERET, Abraham CHERFI, Thomas FRIEDLHUBER, Add to Reading List Source URL: altarica.fr Language: English - Date: 2013-09-12 09:57:23 Safety Systems science Materials science Survival analysis Lambda Fault tree analysis Outflow Boolean data type Safety engineering Reliability engineering Systems engineering Design for X
138	A Logic-based Approach to Decision Making Magdalena Ivanovska∗ and Martin Giese∗ Abstract We propose a novel approach to the well-studied problem of making a finite, ordered sequence of decisions under uncertainty. M Add to Reading List Source URL: www.nik.no Language: English - Date: 2012-02-29 03:37:49 Boolean algebra Model theory Logical syntax Metalogic Function Interpretation Propositional formula Bayesian network Influence diagram Logic Mathematical logic Propositional calculus
139	CS 243 Lecture 11 Binary Decision Diagrams (BDDs) in Pointer Analysis 1. Datalog BDD 2. BDDs Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 14:03:58 Model checking Mathematics Theoretical computer science Boolean algebra Diagrams Binary decision diagram
140	CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:35:12 Boolean algebra Diagrams Binary decision diagram Model checking Monica S. Lam Datalog Pointer analysis Algorithm Pointer Computing Mathematics Software engineering

UPDATE